Verify algebraic identity a2-b2